检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 无线传感器网络模型的形式化建模与分析方法

胡晓辉姜浩曾雪娜

计算机应用 2010, 30 (07): 1722-1724.

摘要（1478）

PDF （409KB）（1320）

将形式化的分析工具Petri网应用在无线传感器网络的分簇和节点覆盖的研究中，可以对无线传感器网络进行形式化的描述和快速原型开发，建立相应的形式化模型。由于Petri网具有坚实的数学理论，可以更好地研究无线传感器网络在分簇和节点覆盖过程中的能量约束问题，为更优的分簇结构和覆盖方法的设计提供理论基础和数值依据，并对已有的方法进行改进。